例文The language is formally defined using a structured operational semantics in the style invented by Gordon Plotkin.His research interests further extend in the fields of the structured operational semantics, and IT Portfolio Management.